open (import "include_many_includee0_includee")

def includee0_function (x: i32) : i32 = includee0_includee_function (x * 3)
